go top

code theorem

  • 代码定理

网络释义专业释义

短语

Embedding Theorem of Prefix Code 前缀码的嵌入定理

  • 代码定理

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句

  • Abastract: the information theory establishment, proposed the information, the information entropy concept, met the people to propose the code theorem.

    信息论理论建立提出信息、信息概念,接着人们提出编码定理

    youdao

  • Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.

    它演示自动化技术TAL自动化定理证明从而验证操作系统中和运行时复杂低级代码安全性

    youdao

  • Demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of TAL code.

    它演示了少量带有自动化定理证明功能,经过验证代码能够支持任意数量TAL代码。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定